Towards an Adequate Framework for Spe ifying and Validating Runtime Evolving Complex Dis rete-event Systems

Validating Real-Time Constraints in Embedded Systems

ABSTRACT There is a growing demand for software tools that an assist in designing, analyzing and validating embedded real-time system appli ations. Validating real-time onstraints in embedded systems plays a major role in the development of reliable robust systems. Esterel a syn hronous languageis widely used in the development of embedded systems and hardware/software odesign. In this paper, w...

Realizing Real-Time Systems from Synchronous Language Specifications

ABSTRACT Syn hronous languages spe ify rea tions of the rea tive/realtime systems to its environment within the language. This makes it easier to validate and verify the systems relative to the assumptions and notions of simultaneity. However, on rete embedding of the ode makes it ne essary to predi t time for rea tions of the underlying run-time systems and the sensors so that the stri t notio...

A Polynomial Algorithm for Testing Diagnosability of Dis rete Event Systems

Å Óòòòöò Óò Çççç Blockinø¹çöööòøø Èöóöñññòò¸ëý×øøñ׸äòòùùùù× Òò Ôôðð Blockinøøóò×´ççèëä䵸aeóúúññö ¾¼¼¾

Ownership Types for Safe Programming: Preventing Data Ra es and Deadlo ks Chandrasekhar Boyapati Robert Lee Martin Rinard Laboratory for Computer S ien e Massa husetts Institute of Te hnology 200 Te hnology Square, Cambridge, MA 02139 f handra,rhlee,rinardg l s.mit.edu Abstra t This paper presents a new stati type system for multithreaded programs; well-typed programs in our system are guarante...

Towards Efficient Schema-Enhanced Pattern Matching over RDF Data Streams

Data streams, often seen as sources of events, have appeared on the Web. Event processing on the Web needs however to cope with the typical openness and heterogeneity of the Web environment. Semantic Web technology, meant to facilitate data integration in an open environment, can help to address heterogeneities across multiple streams. In this paper we discuss an approach towards efficient patt...